English logic based language: תרגום לשפות אחרות